41![Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada](https://www.pdfsearch.io/img/00f4ba1f27074df6f2416d0fea0abe7e.jpg) | Add to Reading ListSource URL: cs.unb.ca- Date: 2013-05-12 19:46:42
|
---|
42![Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University](https://www.pdfsearch.io/img/7479dc3c33ad638e3c0a9a113305cd9c.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
43![Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic](https://www.pdfsearch.io/img/c5d7c71f770f4fd0be5d2b16ab2a0546.jpg) | Add to Reading ListSource URL: canbaskent.net- Date: 2016-04-10 14:02:47
|
---|
44![Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath](https://www.pdfsearch.io/img/1046b6c651475958c06518ccd186a393.jpg) | Add to Reading ListSource URL: canbaskent.net- Date: 2016-06-14 07:51:00
|
---|
45![A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C](https://www.pdfsearch.io/img/22d14bff67d524cf14f81e1e99876f60.jpg) | Add to Reading ListSource URL: academic.johnjcamilleri.com- Date: 2014-04-23 15:38:23
|
---|
46![Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic](https://www.pdfsearch.io/img/11566d0d15c9d6b89105f665d1535edc.jpg) | Add to Reading ListSource URL: canbaskent.net- Date: 2016-04-10 14:02:56
|
---|
47![A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England](https://www.pdfsearch.io/img/dc84dc282d7da54dbc5b824784c0a378.jpg) | Add to Reading ListSource URL: canbaskent.net- Date: 2015-08-02 13:46:03
|
---|
48![Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010 Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010](https://www.pdfsearch.io/img/38247473600a6b581c634ea3485d4619.jpg) | Add to Reading ListSource URL: logic.cse.unt.edu- Date: 2010-07-26 23:06:18
|
---|
49![Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005 Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005](https://www.pdfsearch.io/img/0e3958a139ca0d44dd409728d289a799.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2005-03-06 09:02:36
|
---|
50![The learnability of Auditory Center-embedded Recursion Jun Lai () Tilburg Center for Logic, Ethics and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg University, The learnability of Auditory Center-embedded Recursion Jun Lai () Tilburg Center for Logic, Ethics and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg University,](https://www.pdfsearch.io/img/dc6a11c5fa66e1a72b69051db96e44a8.jpg) | Add to Reading ListSource URL: mindmodeling.org- Date: 2015-07-27 15:58:38
|
---|